Rod Burstall: In Memoriam
arxiv.org·16h·
Discuss: Lobsters
🧮Theoretical Computer Science
Machine Learning Fundamentals: model evaluation project
dev.to·16h·
Discuss: DEV
📏Code Metrics
How the Lean language brings math to coding and coding to math
amazon.science·15h·
Discuss: Hacker News
🔬Lean
Why Computer Science Is No Good, Redux
cacm.acm.org·16h
🎯Performance Proofs
AI and the 10x Engineer Myth
taoofmac.com·2h
⚡Proof Automation
Is your AI benchmark lying to you?
nature.com·12m
⚡Performance Mythology
Initial Thoughts on GPT-OSS
dbreunig.com·10h
⚔️Lean Tactics
Helping data storage keep up with the AI revolution
news.mit.edu·6h
🏠Homelab Archaeology
A Histogram Is a Generative Model
jonathandinu.com·1d·
Discuss: Hacker News
🎧Learned Audio
SLA-MORL: SLA-Aware Multi-Objective Reinforcement Learning for HPC Resource Optimization
arxiv.org·6h
⚡Incremental Computation
Axiom: Decentralized AI network that discovers, verifies, and archives truth
github.com·9h·
Discuss: Hacker News
🤝Distributed Consensus
Things I Wish I Had Known Before Starting ML
towardsdatascience.com·10h
💻Local LLMs
Towards Automating Scientific R&D
ghofrani.net·22h·
Discuss: Hacker News
🏠Homelab Automation
D-Wave's open-source toolkit integrates quantum computing into AI training
siliconangle.com·16h·
Discuss: Hacker News
🕸️Tensor Networks
Tech Breakthroughs of July 2025
dev.to·10h·
Discuss: DEV
🖥️Terminal Renaissance
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·21h·
Discuss: Hacker News
📼Tape Combinators
Show HN: Virtual Ontologies with Claude Code
medium.com·8h·
Discuss: Hacker News
🧮Datalog
Real Life Is Uncertain. Consensus Should Be Too
muratbuffalo.blogspot.com·20h·
Discuss: Hacker News
🤝Paxos Consensus
How far can we push AI autonomy in code generation?
martinfowler.com·20h·
Discuss: Hacker News
⚡Proof Automation
How I found myself in machine learning - My story 🤖
dev.to·1d·
Discuss: DEV
🧪Data science